$\forall$$g$:IGroup, $a$, $b$:$\mid$$g$$\mid$. $\sim$($a$ $\ast$ ($\sim$($b$))) = ($b$ $\ast$ ($\sim$($a$))) $\in$ $\mid$$g$$\mid$